翻訳と辞書 Words near each other ・ Idelsane ・ Idelson ・ Ideluy ・ Ideluy-e Olya ・ Ideluy-e Sofla ・ Idem ・ Idem Paris ・ Idem sonans ・ Idemili North ・ Idemili South ・ Idemitsu (disambiguation) ・ Idemitsu Kosan ・ Idemitsu Museum of Arts ・ IDempiere ・ Idempotence ・ Idempotency of entailment ・ Idempotent element ・ Idempotent matrix ・ Idempotent measure ・ Idempotent relation ・ IDEmøbler ・ IDEN ・ Iden ・ Iden (disambiguation) ・ Iden Green ・ Iden, East Sussex ・ Iden, Saxony-Anhalt ・ Idenau ・ Idenheim ・ Ident Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Idempotency of entailment ： ウィキペディア英語版 Idempotency of entailment Idempotency of entailment is a property of logical systems that states that one may derive the same consequences from many instances of a hypothesis as from just one. This property can be captured by a structural rule called contraction, and in such systems one may say that entailment is idempotent if and only if contraction is an admissible rule. Rule of Contraction: from A,C,C -> B is derived A,C -> B. Or in sequent calculus notation, :$\backslash frac$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Idempotency of entailment」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.